mini-os/x86-64 entry: define macros for registers partial save and restore
authorXu Zhang <xzhang@cs.uic.edu>
Thu, 11 Apr 2013 04:46:56 +0000 (23:46 -0500)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 22 Apr 2013 11:32:11 +0000 (12:32 +0100)
commit7e84f54da55d7b59ee4469b6a2ee8fe62ea0bca2
treecdaf66f9c12fefc89ac0093877f5dc1787daa5fc
parenta76d139f183a20b3d6cbae4259cf0585bf876eb3
mini-os/x86-64 entry: define macros for registers partial save and restore

No functional changes.

For saving and restoring registers rbx, rbp, and r12-r15,
define and use macros SAVE_REST and RESTORE_REST respectively.

Signed-off-by: Xu Zhang <xzhang@cs.uic.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/arch/x86/x86_64.S